Computable general equilibrium